Modeling and Verifying Systems using
نویسندگان
چکیده
منابع مشابه
Modeling and Verifying Distributed Systems Using Priorities: a Case Study Modeling and Verifying Distributed Systems Using Priorities 1
This paper illustrates the use of priorities in process algebras by a real-world example dealing with the design of a safety-critical network which is part of a railway signaling system. Priorities in process algebras support an intuitive modeling of distributed systems since undesired inter-leavings can be suppressed. This fact also leads to a substantial reduction of the sizes of models. We h...
متن کاملController Verification for Nonlinear Systems: A Computational Approach using Phase-Space Geometric Models
This paper presents an algorithm for verifying control laws using phase-space geometric modeling of dynamical systems. The algorithm evolves a hierarchicallyrefined bound of system nonlinear dynamics and can address practical concerns such as sensor, actuator, and modeling uncertainties in a systematic manner. The algorithm has been applied to verifying a control law for a magnetic levitation s...
متن کاملVerifying FreeRTOS; a feasibility study
This paper presents a study on modeling and verifying the kernel of Real-Time Operating Systems (RTOS). The study will show advances in formally verifying such an RTOS both by refinement and by model checking approaches. This work fits in the context of Hoare’s verification challenge. Several real-time operating systems will be discussed including some commercial ones. The focus of the latter p...
متن کاملMembrane Computing as the Paradigm for Modeling Systems Biology
Membrane computing is a field in computer science that is inspired from the structure and the processes of living cells and is being considered as an alternative in solving the limitations in conventional mathematical approaches by taking into consideration its essential features that are of interest for research in systems biology. Advancements in computability make it feasible to handle huge ...
متن کاملFeature Technology and Ontology for Embedded System Design and Development
In this paper, we present our recent effort on using a feature technology and ontology for embedded systems modeling and design. We present an overview of embedded system design and propose an object-oriented UML modeling approach to representing embedded systems, i.e., open embedded system model (OESM). OESM supports models of embedded system artifacts, components, features, configuration/asse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002